101. Basic Mathematics for Economics, Business and Finance
پدیدآورنده : / Ummer, EK
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
102. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
103. Bioinformatics and phylogenetics :
پدیدآورنده : Tandy Warnow, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
رده :
QH324
.
2
104. Boolean functions
پدیدآورنده : / Yves Crama, Peter L. Hammer
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع : Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
105. Boolean functions: theory, algorithms, and applications
پدیدآورنده : Crama, Yves
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algebraic functions,، Algebra, Boolean
رده :
QA
341
.
C73
106. Boundary Value Problems for Engineers :
پدیدآورنده : Ali Ümit Keskin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Boundary value problems.,Engineering mathematics.,Boundary value problems.,Engineering mathematics.
رده :
TA330
.
K47
2019
107. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
108. Building and solving mathematical programming models in engineering and science /
پدیدآورنده : Enrique Castillo [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering models,Programming (Mathematics)
رده :
T57
.
7
.
B85
2001
109. CAD/CAM in Practice :
پدیدآورنده : by A.J. Medland, Piers Burnett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
110. CAST Methods in Modelling :
پدیدآورنده : edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
111. COMPSTAT 2004 - Proceedings in Computational Statistics
پدیدآورنده : edited by Jaromir Antoch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.
112. Categories for software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development. ; Categories (Mathematics) ;
113. Categories for software engineering
پدیدآورنده : José Luiz Fiadeiro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics),Computer software-- Development
114. Categories for software engineering
پدیدآورنده : Jose Luiz Fiadeiro
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Computer software- Development,Categories )Mathematics(
رده :
QA
76
.
76
.
D47
,
F53
2005
115. Categories for software engineering
پدیدآورنده : / Jose Luiz Fiadeiro
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software- Development,Categories (Mathematics)
رده :
QA76
.
76
.
D47
,
F53
2005
116. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
117. Coloured Petri Nets :
پدیدآورنده : by Kurt Jensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA267
.
B958
1992
118. Communication-Based Systems
پدیدآورنده : edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
119. Computational Electromagnetic
پدیدآورنده : / by Thomas Rylander, Par Ingelstr?╢m, Anders Bondeson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Numerical analysis,Computer engineering,Electronic books
رده :
E-BOOK
120. Computational Experiment Approach to Advanced Secondary Mathematics Curriculum
پدیدآورنده : / Sergei Abramovich
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
